
@Book{TAPL,
	Title="Types and Programming Languages",
	Author="Benjamin C. Pierce",
	Publisher="MIT Press",
	Year=2002
	}
	
@phdthesis{SafeJava,
 author = {Chandrasekhar Boyapati},
 note = {Supervisor-Martin C. Rinard},
 title = {Safejava: a unified type system for safe programming},
 year = {2004},
 order_no = {AAI0806105},
 school = "MIT",
 publisher = {Massachusetts Institute of Technology},
 }
 
 @article{ cardelli85understanding,
    author = "Luca Cardelli and Peter Wegner",
    title = "On Understanding Types, Data Abstraction, and Polymorphism",
    journal = "ACM Computing Surveys",
    volume = "17",
    number = "4",
    pages = "471--522",
    year = "1985",
    url = "citeseer.ist.psu.edu/cardelli85understanding.html" }
    
    @inproceedings{ bracha98making,
    author = "Gilad Bracha and Martin Odersky and David Stoutamire and Philip Wadler",
    title = "Making the Future Safe for the Past: Adding Genericity to the {Java} Programming Language",
    booktitle = "{ACM} {S}ymposium on {O}bject {O}riented {P}rogramming: {S}ystems, {L}anguages, and {A}pplications ({OOPSLA})",
    address = "Vancouver, BC",
    editor = "Craig Chambers",
    pages = "183--200",
    year = "1998",
    url = "citeseer.ist.psu.edu/article/bracha98making.html" }
    
    @incollection{ barendregt92lambda,
    author = "Henk Barendregt",
    title = "Lambda Calculi with Types",
    booktitle = "Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon",
    volume = "2",
    year = "1992",
    url = "citeseer.ist.psu.edu/barendregt92lambda.html" }
    
    @inproceedings{ barendregt88introduction,
    Author = "H. P. Barendregt",
    title = "Introduction to Lambda Calculus",
    booktitle = "Aspen{\ae}s Workshop on Implementation of Functional Languages, G{\"o}teborg",
    publisher = "Programming Methodology Group, University of G{\"o}teborg and Chalmers University of Technology",
    year = "1988",
    url = "citeseer.ist.psu.edu/barendregt94introduction.html" }
    
    @book{SICP,
author = {Harold Abelson and Gerald Jay Sussman
and Julie Sussman},
title = {Structure and interpretation of computer
programs},
edition = {Second Edition},
publisher = {MIT Press},
address = {Cambridge, Massachusetts},
year = 1996}

@techreport{MonadicParserGenerators,
        author = "Graham Hutton and Erik Meijer",
        title = "{Monadic Parser Combinators}",
        institution = "Department of Computer Science,
                        University of Nottingham",
        type = "Technical Report",
        number = "NOTTCS-TR-96-4",
        year = 1996}
        
@inproceedings{ScalableComponentAbstractions, 
 author = {Martin Odersky and Matthias Zenger},
 title = {Scalable component abstractions},
 booktitle = {OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications},
 year = {2005},
 isbn = {1-59593-031-0},
 pages = {41--57},
 location = {San Diego, CA, USA},
 doi = {http://doi.acm.org/10.1145/1094811.1094815},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 @InProceedings{odersky:scala-experiment,
  author =       {Martin Odersky},
  title =        {The Scala Experiment -- Can We Provide Better Language Support for Component Systems?},
  booktitle =    {Proc. ACM Symposium on Principles of Programming Languages},
  year =         2006,
  pages =        {166-167},
}
    
	